$\forall$$a$, $b$, $y$:$\mathbb{Z}$. GCD($a$;$b$;$y$) $\Rightarrow$ GCD({-}$a$;$b$;$y$)